Improved answer-set programming encodings for abstract argumentation

The design of efficient solutions for abstract argumentation problems is a crucial step towards advanced argumentation systems. One of the most prominent approaches in the literature is to use Answer-Set Programming (ASP) for this endeavor. In this paper, we present new encodings for three prominent argumentation semantics using the concept of conditional literals in disjunctions as provided by the ASP-system clingo. Our new encodings are not only more succinct than previous versions, but also outperform them on standard benchmarks. 1TU Dresden. E-mail: {sarah.gaggl,norbert.manthey}@tu-dresden.de 2La Sapienza, Rome. Email: [email protected] 3University of Helsinki. Email: [email protected] 4TU Wien. E-mail: [email protected] Acknowledgements: This work has been funded by the Austrian Science Fund (FWF) through projects Y698 and I1102, by the German Research Foundation (DFG) through project HO 1294/11-1, and by Academy of Finland through grants 251170 COIN and 284591. Copyright c © 2015 by the authors